$\forall$$D$:dsys\{i:l\}, $w$:world\{i:l\}. possible{-}world\{i:l\}($D$; $w$) $\in$ Prop$_{\mbox{\scriptsize i'}}$